Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
111	A DAPTIVE S UBMODULAR M AXIMIZATION IN B ANDIT S ETTING V ICTOR G ABILLON , B RANISLAV K VETON , Z HENG W EN , B RIAN E RIKSSON , S. M UTHUKRISHNAN Our approach: Mimic the greedy policy π while learning P (Φ). Add to Reading List Source URL: victorgabillon.nfshost.com Language: English - Date: 2013-12-03 06:27:42 Mathematics Mathematical analysis Algebra Distribution Number theory operator Linear temporal logic
112	Robust Satisfaction of Temporal Logic over Real-Valued Signals Alexandre Donz´e and Oded Maler CNRS-Verimag, 2 Av. de Vignate, 38610 Gi`eres, France @imag.fr Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2010-06-10 13:53:15
113	Acquiring Temporal Constraints between Relations Partha Pratim Talukdar∗ Derry Wijaya∗ Tom Mitchell Add to Reading List Source URL: rtw.ml.cmu.edu Language: English - Date: 2012-08-15 22:35:42 Philosophical logic Modal logic Modality Non-classical logic
114	On the Uniqueness of Quantum Equilibrium in Bohmian Mechanics S. Goldstein Departments of Mathematics and Physics Rutgers, The State University of New Jersey Add to Reading List Source URL: math.rutgers.edu Language: English - Date: 2007-04-26 11:13:50 Quantum mechanics Position operator De BroglieBohm theory Laws of science Computability theory Linear temporal logic Redescending M-estimator
115	Transition systems and modal logic The linear time temporal logic LTL Branching time temporal logics Add to Reading List Source URL: hylocore.ruc.dk Language: English - Date: 2013-05-29 03:25:23
116	Algebra for Infinite Forests with an Application to the Temporal Logic EF? Mikolaj Boja´ nczyk and Tomasz Idziaszek University of Warsaw, Poland {bojan,idziaszek}@mimuw.edu.pl Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:11:18
117	On Temporal Logic and Signal Processing Alexandre Donz´e1 , Oded Maler2 , Ezio Bartocci4 , Dejan Nickovic3 , Radu Grosu4 and Scott Smolka5 1 4 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-07-03 13:46:07
118	Technische Universität München Proseminar „Software Desaster und wie man sie verhindern kann“ TEMPORAL LOGIC Add to Reading List Source URL: www4.in.tum.de Language: German - Date: 2003-01-13 14:12:20
119	Agents and Roles: Renement in Alternating-Time Temporal Logic Mark Ryan1 and Pierre-Yves Schobbens2 1 School of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-02-25 10:33:25
120	: Selected Publications of Vladimir V. Rybakov 2009: Vladimir Rybakov: Linear Temporal Logic LT KK extended by Multi-Agent Logic Kn with Interacting Agents.- Accepted, Published online in: Journal of Logic and Add to Reading List Source URL: www2.docm.mmu.ac.uk Language: English - Date: 2013-01-29 06:42:57

UPDATE